1

Automated Fault Diagnosis for an Autonomous Underwater Vehicle

Year:
2013
Language:
english
File:
PDF, 1.60 MB
english, 2013
5

MODEL CHECKING IN PATTERN BASED CONTROL SYSTEMS DESIGN.

Year:
2002
Language:
english
File:
PDF, 400 KB
english, 2002